Лямбда-числення

Лямбда-числення — внутрішня мова декартово-замкнених категорій, природня мова програмування математики. Цей курс знайомить з основними системами типів, що складають куб Барендрехта.